- Submit
-
Browse
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- More
Results for 'Bruno José Borge'
950 found
Order:
- Desacuerdos profundos sobre ontología científica.Bruno Borge, Sasha D'Onofrio & Ignacio Madroñal - 2022 - Cuadernos de Filosofía 1 (40):139-156.Los desacuerdos acerca de la ontología científica han sido frecuentemente reconstruidos como el resultado de una disputa entre stances epistémicas rivales. En el presente trabajo, (i) caracterizamos algunos de estos desacuerdos como desacuerdos profundos. Además, (ii) mostramos que los desacuerdos profundos sobre ontología científica pueden surgir no solo de la adopción de diferentes stances epistémicas, sino entre posiciones que se encuadran dentro de una misma stance. El desarrollo de ese punto nos permite, a su vez, establecer una distinción entre tipos (...)
- Borges and the Third Man: Toward an Interpretation of ‘Unánime noche’ in “The Circular Ruins”.José Luis Fernández - 2018 - In Alfonso J. García-Osuna (ed.), Borges, Language and Reality: The Transcendence of the Word. Palgrave-Macmillan. pp. 15-32.I aim to show how the enigmatic phrase 'Unánime noche' in the famous first sentence of “The Circular Ruins” is inextricably linked to the story’s last words. Toward this purpose, I argue—against plausible foundational interpretations of the story—for a nonfoundational reading of the text and, moreover, that Borges’s use of ‘unánime’ (one soul) can be understood as one character or one form; namely, as an archetype of “Dreamanity” that leads to a vertiginous Third Man regress.
- Philosophy and Literature in Jorge Luis Borges: ¿Aliados o Enemigos?.José Luis Fernández - 2022 - In Garry L. Hagberg (ed.), Fictional Worlds and Philosophical Reflection. pp. 79-105.Are philosophy and literature allies or enemies in Jorge Luis Borges's fictions? In this paper, I argue that Borges can satisfy membership in the allies camp because his fictions provide the imaginative scenarios the allies believe are so necessary to this coalition; however, because his stories question philosophy's hold on reality, they can also seem to fall into the enemies camp by countervailing any claim philosophy has on reality and truth; although, ultimately, the manner in which Borges forges an alliance (...)
- Actualised Infinity: Before-Effect and Nullify-Effect.Steffen Borge - 2003 - Disputatio 1 (14):1 - 17.
- Considerações legais e forenses do aborto infeccioso bovino na “Saúde Única”: Revisão (18th edition).Jackson Barros Do Amaral, Vinícius José Moreira Nogueira & Wendell da Luz Silva (eds.) - 2024 - Londrina: Pubvet.In Brazil, the social demand for veterinary expertise is growing. However, there is still a shortage of professionals trained in this area to apply specific knowledge to each case. Studies and research into forensic veterinary medicine are necessary for veterinary experts to assist in investigations and legal proceedings. Veterinary medicine has subjects on its curriculum that cover the knowledge needed to apply in the fields of animal health, public health and the environment. The interaction between human and veterinary medicine, as (...)
- El Prototipo de Bruno Varela: Del metraje de archivo a la cosmovisión.Byron Davies - 2022 - Desistfilm.Spanish version of my analysis of Oaxaca-based experimental filmmaker Bruno Varela's 2022 feature-length film El Prototipo, which draws on ideas from Philip K. Dick's novel Valis.
- METODOLOGIA E MANEJO REPRODUTIVO APLICADO EM BOVINOS LEITEIROS.Bruna Cardoso Lemes, Gabriel Destefani de Souza, Jaqueline Aparecida Sousa Pereira, Jéssica Elizei Dande, Marcelo de Figueiredo Filiardi Filho, Vinícius de Moura Ribeiro Monticeli & Elizângela Guedes - 2022 - Revista Agroveterinária Do Sul de Minas 4 (1):153-172.Resumo: Sabe-se que a pecuária é uma parcela do agronegócio que move a economia do país, e incluso está a produção leiteira, que tem, a cada ano seu desenvolvimento elevado, de forma em que é priorizado a eficiência no aumento de sua produção, com o objetivo de suprir a demanda, e a maior rentabilidade do produtor. Diante disso, medidas de manejo reprodutivo e alimentar são adotadas, sendo estas capazes de elevar a produtividade com o menor custo possível. O trabalho objetivou (...)
- Sobre a distinção entre prudência e moralidade em Kant e Crusius: considerações sobre a origem da doutrina do imperativo categórico.Bruno Cunha - 2019 - Studia Kantiana 17 (1):101-126.The extent of the originality and relevance of Kant's ethics is undeniable. But it is not so evident the fact that the Kant's moral philosophy as a whole was not suddenly built, but it was dependent on a profound debate with the philosophical tradition, especially with the German scholastic tradition, a debate which led to the assimilation or appropriation of several of its aspects. With special regard to the history of the development of the categorical imperative, it is not possible (...)
- Non-cognitivisme.Bruno Verbeek - 2014 - In Martin van Hees, Ingrid Robeyns & Thomas Nys (eds.), Basisboek Ethiek. pp. 315-331.This is a chapter on noncognitivism in a textbook on ethics.
- Spinoza's Theory of Attributes.Antonio Salgado Borge - 2024 - Philosophy Compass 19 (8):e13013.Any account of Spinoza's understanding of attribute must be able to satisfy his definition criterion; that is, it must coherently accommodate the elements involved in his definition of attribute as “what the intellect perceives of a substance as constituting its essence” (E1d4). But this is not enough. There are several available readings that satisfy this criterion and are mutually incompatible. To know what Spinoza means we must supplement his definition criterion with a criterion aiming at consistency with other principles in (...)
- Conversazione con Emanuele Severino.Bruno Cortesi - 2016 - Quaderni Borromaici 3:207-219.Quanto segue intende proporsi come il resoconto di una conversazione che Andrea Oliani, Bruno Cortesi e Pietro Vigiani, tutti studenti presso l’Almo Collegio Borromeo di Pavia, hanno intrattenuto con Emanuele Severino, volta ad enucleare, muovendo da spunti talvolta anche polemici, alcune delle concettualità fondanti quel corpus di dottrine che cade sotto il nome di severinismo. Severino è stato squisito nell’accoglierci e ospitarci nella sua dimora di Brescia, lucido e assolutamente puntuale nel controbattere alle nostre provocazioni. La discussione ha poi (...)
- Communication, Cooperation and Conflict.Steffen Borge - 2012 - ProtoSociology 29:223-241.According to Steven Pinker and his associates the cooperative model of human communication fails, because evolutionary biology teaches us that most social relationships, including talk-exchange, involve combinations of cooperation and conflict. In particular, the phenomenon of the strategic speaker who uses indirect speech in order to be able to deny what he meant by a speech act (deniability of conversational implicatures) challenges the model. In reply I point out that interlocutors can aim at understanding each other (cooperation), while being in (...)
- Brouwer's Intuition of Twoity and Constructions in Separable Mathematics.Bruno Bentzen - 2023 - History and Philosophy of Logic 45 (3):341-361.My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of (...)
- All You Zombies. David Chalmers’ Metaphysical Solipsism.Steffen Borge - 1999 - In Uwe Meixner Peter Simons (ed.), Metaphysics in the Post-Metaphysical Age. Austrian Ludwig Wittgenstein Society.
- Knowledge, despite Evidence to the Contrary.Rodrigo Borges - 2019 - In Rodrigo Borges, Branden Fitelson & Cherie Braden (eds.), Knowledge, Scepticism, and Defeat: Themes from Klein. Springer Verlag.
- Communication, Conflict and Cooperation.Steffen Borge - 2012 - ProtoSociology 29.According to Steven Pinker and his associates the cooperative model of human communication fails, because evolutionary biology teaches us that most social relationships, including talk-exchange, involve combinations of cooperation and conflict. In particular, the phenomenon of the strategic speaker who uses indirect speech in order to be able to deny what he meant by a speech act (deniability of conversational implicatures) challenges the model. In reply I point out that interlocutors can aim at understanding each other (cooperation), while being in (...)
- rational self-commitment.Bruno Verbeek - 2007 - In Fabienne Peter (ed.), rationality and commitment. Oxford University Press USA.Abstract: The standard picture of rationality requires that the agent acts so as to realize her most preferred alternative in the light of her own desires and beliefs. However, there are circumstances where such an agent can predict that she will act against her preferences. The story of Ulysses and the Sirens is the paradigmatic example of such cases. In those circumstances the orthodoxy requires the agent to be ‘sophisticated’. That is to say, she should take into account her expected (...)
- The iterative solution to paradoxes for propositions.Bruno Whittle - 2022 - Philosophical Studies 180 (5-6):1623-1650.This paper argues that we should solve paradoxes for propositions (such as the Russell–Myhill paradox) in essentially the same way that we solve Russellian paradoxes for sets. That is, the standard, iterative approach to sets is extended to include properties, and then the resulting hierarchy of sets and properties is used to construct propositions. Propositions on this account are structured in the sense of mirroring the sentences that express them, and they would seem to serve the needs of philosophers of (...)
- Size and Function.Bruno Whittle - 2018 - Erkenntnis 83 (4):853-873.Are there different sizes of infinity? That is, are there infinite sets of different sizes? This is one of the most natural questions that one can ask about the infinite. But it is of course generally taken to be settled by mathematical results, such as Cantor’s theorem, to the effect that there are infinite sets without bijections between them. These results settle the question, given an almost universally accepted principle relating size to the existence of functions. The principle is: for (...)
- A Ideia de Alquimia no “Compound of Alchimy” de George Ripley.Bruno Sousa Silva Godinho - 2018 - Dissertation, Unirio, BrazilThis dissertation is about the construction of the concept of alchemy in the text named Compound of alchimy, written by English alchemist George Ripley (c.1415-c.1490). Manuscript history and circulation dates the text back to 1471. The route taken by the researcher serves two immediate purposes: the analyses of the document to verify the basis of the concept’s construction and the critique of an established historiography through a different methodological approach. The document serves as the axis of a perspective about aspects (...)
- Ontological Pluralism and Notational Variance.Bruno Whittle - 2021 - Oxford Studies in Metaphysics 12:58-72.Ontological pluralism is the view that there are different ways to exist. It is a position with deep roots in the history of philosophy, and in which there has been a recent resurgence of interest. In contemporary presentations, it is stated in terms of fundamental languages: as the view that such languages contain more than one quantifier. For example, one ranging over abstract objects, and another over concrete ones. A natural worry, however, is that the languages proposed by the pluralist (...)
- Locke's Answer to Molyneux's Thought Experiment.Mike Bruno & Eric Mandelbaum - 2010 - History of Philosophy Quarterly 27 (2):165-80.Philosophical discussions of Molyneux's problem within contemporary philosophy of mind tend to characterize the problem as primarily concerned with the role innately known principles, amodal spatial concepts, and rational cognitive faculties play in our perceptual lives. Indeed, for broadly similar reasons, rationalists have generally advocated an affirmative answer, while empiricists have generally advocated a negative one, to the question Molyneux posed after presenting his famous thought experiment. This historical characterization of the dialectic, however, somewhat obscures the role Molyneux's problem has (...)
- Epistemically possible worlds and propositions.Bruno Whittle - 2009 - Noûs 43 (2):265-285.Metaphysically possible worlds have many uses. Epistemically possible worlds promise to be similarly useful, especially in connection with propositions and propositional attitudes. However, I argue that there is a serious threat to the natural accounts of epistemically possible worlds, from a version of Russell’s paradox. I contrast this threat with David Kaplan’s problem for metaphysical possible world semantics: Kaplan’s problem can be straightforwardly rebutted, the problems I raise cannot. I argue that although there may be coherent accounts of epistemically possible (...)
- Galileo: realismo en los inicios de la ciencia moderna.José Gustavo Sámano - 2019 - Mutatis Mutandis: Revista Internacional de Filosofía 14.En los orı́genes de la ciencia moderna, es posible rastrear los tres elementos del realismo cientı́fico: el realismo metafı́sico, la teorı́a de la verdad como correspondencia y la tesis verificacionista. Galileo Galilei fue el fundador de la nueva ciencia y se opuso, a lo largo de su obra, sistemáticamente a un claro instrumentalismo cientı́fico que imperaba en su época. Su concepción de la naturaleza y de sus leyes escritas en forma matemática arrojan ideas de naturaleza filosófica que merecen aún ser (...)
- Luck and normative achievements: Let not safety be our guide.Bruno Guindon - forthcoming - Episteme.It is a well-worn platitude that knowledge excludes luck. According to anti-luck virtue epistemology, making good on the anti-luck platitude requires an explicit anti-luck condition along the lines of safety: S knows that p only if S’s true belief that p could not have easily been mistaken. This paper offers an independent, virtue epistemological argument against the claim that safety is a necessary condition on knowledge, one that adequately captures the anti-luck platitude. The argument proceeds by way of analogy. I (...)
- Emergent narrativity.José Angel García Landa - manuscriptThis paper deals with those dimensions of narrative which define it as such (i.e. narrativity). It examines some current conceptions of narrativity, and puts forward an emergentist theory of narrativity, one which takes into account the narrative structuring effected by narratological analysis itself as a distinct cognitive activity.
- A noção fenomenológica de “gesto”: um estudo contrastivo entre os termos “Geste” e “Gebärde” em suas respectivas modalidades a partir de Martin Heidegger.Bruno Hinrichsen - 2024 - In Samir Haddad & Sandro Márcio Moura de Sena (eds.), Ensaios sobre o Pensamento Contemporâneo e sobre Heidegger. Toledo: Instituto Quero Saber. pp. 163-188.
- Truth and Generalized Quantification.Bruno Whittle - 2019 - Australasian Journal of Philosophy 97 (2):340-353.Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All—that is, All ϕs are ψ—or Most. Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. (...)
- There are brute necessities.Bruno Whittle - 2010 - Philosophical Quarterly 60 (238):149-159.A necessarily true sentence is 'brute' if it does not rigidly refer to anything and if it cannot be reduced to a logical truth. The question of whether there are brute necessities is an extremely natural one. Cian Dorr has recently argued for far-reaching metaphysical claims on the basis of the principle that there are no brute necessities: he initially argued that there are no non-symmetric relations, and later that there are no abstract objects at all. I argue that there (...)
- Propositions as Intentions.Bruno Bentzen - 2023 - Husserl Studies 39 (2):143-160.I argue against the interpretation of propositions as intentions and proof-objects as fulfillments proposed by Heyting and defended by Tieszen and van Atten. The idea is already a frequent target of criticisms regarding the incompatibility of Brouwer’s and Husserl’s positions, mainly by Rosado Haddock and Hill. I raise a stronger objection in this paper. My claim is that even if we grant that the incompatibility can be properly dealt with, as van Atten believes it can, two fundamental issues indicate that (...)
- José Martí, escritor y pensador.José Ramón Fabelo Corzo - 2001 - El Cuervo 25 (25):8-13.: En el trabajo se busca constatar y analizar los fundamentos de la simbiosis armoniosa que se da entre lo poético y lo filosófico en el pensamiento de José Martí. Tal imbricación la encontramos no sólo en él. Ha llegado a ser bastante frecuente en un contexto como el latinoamericano. Pero, tal vez sea en Martí en quien esa fusión se acrisola de manera más brillante. Nunca se preocupó demasiado por el contenido filosófico de su poesía ni por la (...)
- Exceptional Logic.Bruno Whittle - forthcoming - Review of Symbolic Logic:1-37.The aim of the paper is to argue that all—or almost all—logical rules have exceptions. In particular, it is argued that this is a moral that we should draw from the semantic paradoxes. The idea that we should respond to the paradoxes by revising logic in some way is familiar. But previous proposals advocate the replacement of classical logic with some alternative logic. That is, some alternative system of rules, where it is taken for granted that these hold without exception. (...)
- Philosophy as Therapy - A Review of Konrad Banicki's Conceptual Model.Bruno Contestabile & Michael Hampe - manuscriptIn his article Banicki proposes a universal model for all forms of philosophical therapy. He is guided by works of Martha Nussbaum, who in turn makes recourse to Aristotle. As compared to Nussbaum’s approach, Banicki’s model is more medical and less based on ethical argument. He mentions Foucault’s vision to apply the same theoretical analysis for the ailments of the body and the soul and to use the same kind of approach in treating and curing them. In his interpretation of (...)
- A Diagnosis of Self-Malaise: On MacIntyre’s After Virtue.José Luis Fernández - 2022 - In Francis Fallon (ed.), Insights Into Ethical Theory and Practice: Principia Eclectica. Cambridge Scholars Publishing. pp. 118-131.Alasdair MacIntyre’s work in ethics follows in the footsteps of twentieth century efforts to put the ideals of Enlightenment and modernity on trial, and his book After Virtue diagnoses a wide-spread malaise in contemporary moral discourse. As a corrective to this condition, MacIntyre offers a remedy along Aristotelian-Thomistic lines. He specifically conceives of a recovery of these lines that would allow for a common ground in moral debates which would reveal the normative and teleological character of the human good. However, (...)
- On Different Ways of Being Equal.Bruno Bentzen - 2020 - Erkenntnis 87 (4):1809-1830.The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...)
- What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.
- From Being to Acting: Kant and Fichte on Intellectual Intuition.G. Anthony Bruno - 2022 - British Journal for the History of Philosophy 31 (4):762-783.Fichte assigns ‘intellectual intuition’ a new meaning after Kant. But in 1799, his doctrine of intellectual intuition is publicly deemed indefensible by Kant and nihilistic by Jacobi. I propose to defend Fichte’s doctrine against these charges, leaving aside whether it captures what he calls the ‘spirit’ of transcendental idealism. I do so by articulating three problems that motivate Fichte’s redirection of intellectual intuition from being to acting: (1) the regress problem, which states that reflecting on empirical facts of consciousness leads (...)
- Recensione di 'Emanuele Severino - Il tramonto della politica: considerazioni sul futuro del mondo'. [REVIEW]Bruno Cortesi - 2018 - Quaderni Borromaici 5:217-18.
- Sense, reference, and computation.Bruno Bentzen - 2020 - Perspectiva Filosófica 47 (2):179-203.In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program–value analysis of sense and reference proposed by Martin-Löf building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his (...)
- SOBRE OS (DES)LIMITES TERRITORIAIS: a produção da natureza enquanto fundamento das dinâmicas de fronteira.Bruno Ferreira Campos - 2020 - Geografia Em Questão 13 (2):130-149.
- Mathematical anti-realism and explanatory structure.Bruno Whittle - 2021 - Synthese 199 (3-4):6203-6217.Plausibly, mathematical claims are true, but the fundamental furniture of the world does not include mathematical objects. This can be made sense of by providing mathematical claims with paraphrases, which make clear how the truth of such claims does not require the fundamental existence of mathematical objects. This paper explores the consequences of this type of position for explanatory structure. There is an apparently straightforward relationship between this sort of structure, and the logical sort: i.e. logically complex claims are explained (...)
- A Filosofia política neoplatônica de Juliano, o rei-filósofo.Bruno Camilo - 2023 - Perspectiva Filosófica 50 (1):256-279.The purpose of this article is to present the influence of Plotinus' thought on the political philosophy of the Roman Emperor Julian, between the years 361 to 363. The methodology consists of selecting excerpts from the works of Juliano Misopogon and Cartas y Fragmentos that may indicate the influence of the ideas of Plotinus' Ennead in the speech given by the Emperor to legitimize his political power. Juliano argues that the laws of the empire were created by the gods for (...)
- Analyticity and Syntheticity in Type Theory Revisited.Bruno Bentzen - 2024 - Review of Symbolic Logic 17 (4).I discuss problems with Martin-Löf's distinction between analytic and synthetic judgments in constructive type theory and propose a revision of his views. I maintain that a judgment is analytic when its correctness follows exclusively from the evaluation of the expressions occurring in it. I argue that Martin-Löf's claim that all judgments of the forms a : A and a = b : A are analytic is unfounded. As I shall show, when A evaluates to a dependent function type (x : (...)
- A Verdade Como Problema Fundamental Na Ontologia Fenomenológica De Martin Heidegger.Luana Borges Giacomini - 2018 - Dissertation, Unioeste, Brazil
- Political Anarchism and Raz’s Theory of Authority.Bruno Leipold - 2015 - Res Publica 21 (3):309-329.This article argues that using Joseph Raz’s service conception of authority to reject philosophical anarchism can be affected by political anarchism. Whereas philosophical anarchism only denies the authority of the state, political anarchism claims that anarchism is a better alternative to the state. Raz’s theory holds that an institution has authority if it enables people to better conform with reason. I argue that there are cases where anarchism is an existing alternative to the state and better fulfils this condition. Consequently, (...)
- A Libertarian Re-examination of Early 19th-Century Politics in Brazil.Bruno Goncalves Rosi - unknown - Libertarian Papers 8.This article offers a libertarian re-examination of Brazilian political history focusing mainly on the first few decades of the 19th century. The article finds two main tendencies lurking behind the various political parties and labels of the time: one, associated mainly with the Conservative Party, leaned dangerously away from the individual liberties advocated by classical liberalism and instead more toward authoritarian forms of government. The other, associated mainly with the Liberal Party, was more libertarian in nature. This article also concludes (...)
- Belief, information and reasoning.Bruno Whittle - 2012 - Philosophical Perspectives 26 (1):431-446.Here are two plausible ideas about belief. First: beliefs are our means of storing information. Second: if we believe something, then we are willing to use it in reasoning. But in this paper I introduce a puzzle that seems to show that these cannot both be right. The solution, I argue, is a new picture, on which there is a kind of belief for each idea. An account of these two kinds of belief is offered in terms of two components: (...)
- Mensenwerk en Moraal: David Hume & het Kwaad.Bruno Verbeek - 2007 - In Andreas Kinneging & R. T. P. Wiche (eds.), Van kwaad tot erger: het kwaad in de filosofie. Utrecht: Spectrum. pp. 186-206.In this paper, I summarize Hume's moral theory as it is developed in the Treatise on Human Nature and pay particular attention to the question how evil is possible in Hume's theory.
- Facticity and Genesis: Tracking Fichte’s Method in the Berlin Wissenschaftslehre.G. Anthony Bruno - 2021 - Fichte-Studien 49:177-97.The concept of facticity denotes conditions of experience whose necessity is not logical yet whose contingency is not empirical. Although often associated with Heidegger, Fichte coins ‘facticity’ in his Berlin period to refer to the conclusion of Kant’s metaphysical deduction of the categories, which he argues leaves it a contingent matter that we have the conditions of experience that we do. Such rhapsodic or factical conditions, he argues, must follow necessarily, independent of empirical givenness, from the I through a process (...)
- A Henkin-style completeness proof for the modal logic S5.Bruno Bentzen - 2021 - In Pietro Baroni, Christoph Benzmüller & Yì N. Wáng (eds.), Logic and Argumentation: Fourth International Conference, CLAR 2021, Hangzhou, China, October 20–22. Springer. pp. 459-467.This paper presents a recent formalization of a Henkin-style completeness proof for the propositional modal logic S5 using the Lean theorem prover. The proof formalized is close to that of Hughes and Cresswell, but the system, based on a different choice of axioms, is better described as a Mendelson system augmented with axiom schemes for K, T, S4, and B, and the necessitation rule as a rule of inference. The language has the false and implication as the only primitive logical (...)
| 1 — 50 / 950 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6f97f49787-df84k uwo